Buy Used and New Andy Galloway Books

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings: 1878 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Steve King,Steve Dunne,Andy Galloway

ISBN 13: 9783540679448

Format: Paperback (528 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later